Commentary by Chris Pressey =========================== This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations. Compiler Construction --------------------- ### Compilers: Principles, Techniques, and Tools (1st Ed.) * rating: classic a.k.a "The Dragon Book". The classic, borderline-incomprehensible book on compiler construction. ### Compilers and Compiler Generators * rating: 2 . ### The essence of compiling with continuations * rating: 3 This is the paper that introduces "A-normal form". This paper can sometimes be found attached to a newer paper which is a retrospective on the original paper. ### An Introduction to Operational Semantics * rating: 2 Actually a book chapter. future-topics: Formal Semantics ### How to compile with continuations * rating: 2 . ### Example assembly/machine instruction from lambda calculus * rating: 2 The top-rated answer by Colin James is much better than the accepted answer. Colin James also wrote an article, [Compiling Lambda Calculus](https://compiler.club/compiling-lambda-calculus/), to expand upon this answer, but I think the answer is more illuminating - the article goes into more concrete details in OCaml and is not quite complete (as of this writing, the promised endnotes are missing.) ### radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch. * rating: 1 . ### natefaubion/example-functional-compiler * rating: 1 . ### namin/inc: an incremental approach to compiler construction * rating: 1 . ### bollu/tiny-optimising-compiler: A tiny *optimising* compiler for an imperative programming language written in haskell * rating: 1 .